Tipo | Título | Autor | Edición | Disponibilidad | Valoración |
---|---|---|---|---|---|
Libro |
The temporal logic of reactive and concurrent systems: specification | Manna, Zohar |
1st ed.
(1991) |
Domicilio
|
---------- |